logic system

A Three-Value Logic System TL with the Capability of Non-monotonic Reasoning

具有非单调推理能力的三值逻辑系统TL

Stochastic Study in Lukasiewicz's Ternary Logic System

Lukasiewicz三值逻辑系统中的随机化研究

A new CMOS three& valued logic system is discussed. Some CMOS three-valued logic unit circuits are designed.

本文探讨了一种新的CMOS三值逻辑系统，建立了一套完备的CMOS三值逻辑基本单元电路。

Patent claims interpretation is not a disorderly, but a logic system.

专利权利要求解释并不是杂乱无章的，而是一个系统的逻辑体系。

An Induced Algebra on a Kind of Algebras and Generalized Kleene-dienes Ternary Logic System

一类代数上的诱导代数及广义Kleene-Dienes三值系统

Mitsubishi QnA Series PLC& Safety Logic System

QnA系列PLC与安全逻辑系统

In the study of non-classical logic, lattice-valued logic system is of extensive significance.

在 非 经典逻辑的研究中, 格值逻辑的研究具有重要而广泛的意义.

Disturbance compensation problem is solved by an adaptive fuzzy logic system.

通过自适应模糊控制解决了扰动补偿问题。

The neural network-based fuzzy logic system, combined with neural network and fuzzy logic, has the advantages Of self-organizing, sample-learning, auto-structuring and fuzzy rule developing and member function optimizing.

将神经网络和模糊逻辑有机结合起来的神经网络模糊逻辑系统，具有自组织和监督学习样本、自动构造和发展模糊规则、发现和优化输入输出隶属函数等优点，从而使系统具有较快的收敛速度。

At the last, discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.

最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。

Structures and parameters of fuzzy model of space operations fuzzy logic system have been set up.

为了完成比较复杂的空间作战实验任务,通常需要集成若干个实验模型,构造功能较强的模型系统.

Discussing about the Completeness Proof of Normal Modal Propositional Logic System

关于正规模态命题逻辑系统的完全性证明

Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3

三值命题逻辑系统L3~中逻辑理论性态的拓扑刻画拓扑描绘字，拓扑描述符

The extended fuzzy description logic introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherits the concept constructors and knowledge base form of classical description logics to support a new logic system for knowledge representation.

扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系，继承经典描述逻辑中的概念构造器和知识库形式，建立新的知识表示逻辑体系。

This short paper gives a new proof for the theorem(→ψ) nV(ψ→) in the basic logic system BL.

本文给出基本逻辑系统BL中定理（φ→ψ）~nV（φ→ψ）~n的一种新的证明。

Short consistency degrees of finite theories in propositional fuzzy logic system

命题模糊逻辑系统中有限理论的弱相容度

Lattice symmetric ternary logic system and its simplification

格对称三值逻辑系统及其化简

The process management based on the unascertained logic system can determine the grade level of the management target.

基于未确知逻辑系统的过程管理，可在底层指标重要性序关系基础上，进一步确定出管理目标当前的质量状态的等级。

Products to Circuit boards, logic system, hydraulic parts, mainly hydraulic unit.

产品以油路板 、 逻辑系统 、 液压件 、 油压单元为主.

But its logic system and computational method researches are all in the early stage.

但无论是其逻辑基础或实验系统的探索都处于初级阶段.

Only one fuzzy logic system is employed as approximator to compensate all the unknown items, and at the same time, adaptive technology is adopted on line to identify the unknown parameter.

在控制器设计过程中，仅采用一个模糊逻辑系统作为逼近器，使得所有的未知项得到补偿，同时采用自适应技术在线辨识未知参数和逼近误差上界。

The Hardware Description Language and the Design of a Logic System

硬件描述语言（HDL）与逻辑系统设计

Generalized H-valuation in Logic System UL

逻辑系统UL的广义H-赋值

Many-sorted propositional dynamic logic system based on parallel processing environment

基于并行处理环境的多类命题动态逻辑系统

This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

Make an explanation of private Key logic system, hierarchy structure, system performance and system deployment.

对密钥系统逻辑和层次结构、系统性能和部署作了说明。

This paper addresses the application to controlling of a new system method, type-2 FLS ( logic system ).

主要探讨一种新的系统方法 ——— 二型模糊系统在控制上的应用.

Application of truth matrix to analyze a logic circuit is intuitive and simple, and the results may lead to the derivation of some identical relations of certain symmetrical ternary logic system.

应用真值矩阵分析逻辑电路具有直观、简便的优点，并可由其运算结果导出一些对称三值逻辑运算的恒等式。

In the feedforward controller design, fuzzy logic system architecture is treated as the inverse function of piezoelectric actuators ′ nonlinear model.

在前馈控制器中压电作动器的迟滞和蠕变非线性特性的逆模型由自适应模糊逻辑系统近似；

A binary-working/ ternary-testing ( B/ T for short) self-testing system is a special ternary logic system.

二值工作三值检测（简称为B/T）自校验系统是一种特殊的三值逻辑系统。